Algebraic normal form